real-time kernel (RTK) - Spanisch Englisch Wörterbuch